Formal science

Results: 4621



#Item
11

Formal Issues in Natural Language Generation Kees van Deemter *, Ehud Reiter *, and Helmut Horacek † (*) Dept. of Computing Science, University of Aberdeen, UK (†) Universit¨at des Saarlandes, Saarbr¨ucken, Germany

Add to Reading List

Source URL: homepages.abdn.ac.uk

Language: English - Date: 2006-08-18 09:24:19
    12

    Formal Language Recognition with the Java Type Checker Yossi Gil1 and Tomer Levy2 1 Department of Computer Science, The Technion—Israel Institute of

    Add to Reading List

    Source URL: drops.dagstuhl.de

    - Date: 2016-07-18 08:03:01
      13

      COMPUTING SCIENCE An Exegesis of Four Formal Descriptions of ALGOL 60 Cliff B. Jones, Troy K. Astarte

      Add to Reading List

      Source URL: internal.ncl.ac.uk

      - Date: 2016-10-21 04:26:03
        14

        Formal Verification of Processes Ulrich Sch¨opp Master of Science School of Computer Science

        Add to Reading List

        Source URL: www2.tcs.ifi.lmu.de

        - Date: 2005-11-20 08:43:20
          15

          Identifying and Validating Ontology Mappings by Formal Concept Analysis Mengyi Zhao1 and Songmao Zhang2 1,2 Institute of Mathematics, Academy of Mathematics and Systems Science,

          Add to Reading List

          Source URL: disi.unitn.it

          - Date: 2016-09-05 09:56:52
            16

            AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING AND THE AI PROBLEMS IT RAISES John McCarthy Computer Science Department Stanford University

            Add to Reading List

            Source URL: www-formal.stanford.edu

            - Date: 2002-03-26 18:16:58
              17

              Indeterminacy and rough approximation Thomas Bittner Institute for Formal Ontology and Medical Information Science University of Leipzig

              Add to Reading List

              Source URL: www.acsu.buffalo.edu

              - Date: 2004-06-10 06:15:20
                18

                Climate Science & Communication Mini-Course Earth to Sky - Alaska 2016 For Interpreters, Non-formal Educators and Science Communicators Morris Thompson Cultural and Visitors Center October 21st, 2016 Fairbanks, AK

                Add to Reading List

                Source URL: www.earthtosky.org

                - Date: 2016-08-02 18:33:19
                  19

                  Axioms for parthood and containment relations in bio-ontologies Thomas Bittner Institute for Formal Ontology and Medical Information Science University of Leipzig

                  Add to Reading List

                  Source URL: www.acsu.buffalo.edu

                  - Date: 2004-06-10 06:15:22
                    20

                    CHAPTER 7 A Theory of Granular Partitions Thomas Bittner and Barry Smith Institute for Formal Ontology and Medical Information Science University of Leipzig, Leipzig, 04107, Germany

                    Add to Reading List

                    Source URL: www.acsu.buffalo.edu

                    - Date: 2004-06-10 06:15:22
                      UPDATE